Modeling and performance evaluation of computer systems security operation
نویسندگان
چکیده
A model of computer system security operation is developed based on the fork-join queueing network formalism. We introduce a security operation performance measure, and show how it may be used to performance evaluation of actual systems. Key-Words: computer system security, security attack, security vulnerability, performance evaluation, fork-join queueing networks.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAlgebraic Modeling and Performance Evaluation of Business Processes
An algebraic approach to the modeling and performance evaluation of business processes is developed based on fork-join queueing network formalism and idempotent algebra. As an illustration, a model of computer system security operation is considered. We introduce a related performance measure, and show how it may be used to analysis of actual systems.
متن کاملQuadrature Amplitude Modulated Digital Radio Transmission Modeling and Simulation
Computer aided design and computer aided modeling tools are becoming increasingly important in the design and performance evaluation of communication systems. In this work, we report on the computer simulation modeling study of terrestrial digital microwave radio transmission, using Block Oriented System Simulator package (BOSS). The work concentrates on semi-analytical error rate evaluation in...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1212.5289 شماره
صفحات -
تاریخ انتشار 2001